Bennett and ‘ Proxy Actualism ’ ∗ ( Draft )

We examine Karen Bennett’s claim, in Bennett 2006, that the view articulated in Linsky and Zalta 1994 and 1996 is not consistent with the thesis of actualism. Actualism is the thesis that everything there is, i.e., everything that exists, is actual. Actualism has long been thought to be incompatible with the simplest quantified modal logic (QML), in which there is a fixed domain common to every world. In this logic, the Barcan formulas (BF and converse BF), which tell us that we can change the order of quantifiers and modal operators, and the claim that everything